『HoTT と圏論の哲学的用途』
科学基礎論学会 > 2013年度 研究例会 (於東京大学駒場キャンパス) 圏論は「対象」より対象と対象間の関係「射」に注目している
点無し空間(pointless space)
ここ数年における新しい理論「ホモトピー型理論(HoTT)」は, 計算機科学の型理論に おける「=」を, 位相幾何学のホモトピー同値「連続変形がある」の性質で解釈しよう とする試み
圏論は雑多な情報を適切につぶして, 時には必要になった情報を復元することによって, 抽象度の高い概念と低い概念とを結ぶ。これは自然主義等の哲学的営為にも生かされるといえる。
Q. 具体的にはどういうところが情報を潰すと言えるか
Q. 具体的にはどういうところが情報を復元すると言えるか